Abstract Functional Programming with Logical Frameworks Adam Brett Poswolsky 2008 Logical frameworks are languages used to represent information. In this dissertation we present the Delphin programming language, which i

Source URL: www.cs.yale.edu

Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig

Source URL: users-cs.au.dk

• Software engineering
• Computing
• Computer programming
• Subroutines
• Lambda calculus
• Data types
• Type theory
• Functional programming
• Closure
• Scope
• Free variables and bound variables
• Lambda lifting

Michael D. Adams Address: 350 S 600 E / Apt. 105 Salt Lake City, UThttp://michaeldadams.org

Source URL: michaeldadams.org

• Computer science
• Functional programming
• International Conference on Functional Programming
• Academia
• Symposium on Principles of Programming Languages
• Computing
• ACM SIGACT
• SIGPLAN
• David Ungar
• Programming Language Design and Implementation

Dagstuhl SeminarWeb Application Security 29.03. – Executive Summary Dan Boneh1 , Ulfar Erlingsson2 , Martin Johns3 and Benjamin Livshits4 1

Source URL: drops.dagstuhl.de

• Computing
• Software engineering
• Software
• Web development
• Functional languages
• Web programming
• Hacking
• Web applications
• JavaScript
• Opa
• Cross-site scripting
• Cross-site request forgery

Types in functional languages Dependent types and the Propositions-as-Types Isomorphism The Coq system and inductive types Rich types for programming and proving Radboud University Nijmegen

Source URL: www.cs.ru.nl

• Type theory
• Functional languages
• Proof assistants
• Dependently typed programming
• Logic in computer science
• Coq
• Dependent type
• Functional programming
• Haskell
• Inductive type
• Quicksort
• CurryHoward correspondence

DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL

Source URL: vjovanov.github.io

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Functional languages
• Programming language implementation
• Generalized algebraic data type
• Syntax
• Domain-specific language
• Haskell

DSL Summer School Intro Martin Odersky EPFL Why DSLs? 1. Give users ways to express themselves in a notation

Source URL: vjovanov.github.io

• Computing
• Software engineering
• Functional languages
• Object-oriented programming languages
• Scripting languages
• Array data structure
• Array data type
• Red
• Scala
• Apache Spark

Riposte: A Trace-Driven Compiler and Parallel VM for Vector Code in R Justin Talbot Zachary DeVito

Source URL: www.justintalbot.com

• Algebra
• Computing
• Software engineering
• Array programming languages
• Functional languages
• Vectors
• Abstract algebra
• Linear algebra
• APL
• SIMD
• Euclidean vector
• Vector

Errata Jan van Eijck & Christina Unger: Computational Semantics with Functional Programming. Cambridge University Press, 2010. Last updated: August 26, 2012 Contact: ,

Source URL: www.computational-semantics.eu

Scala functional programming on the JVM Erik Bakker FP-NL Day 2015

Source URL: wwwhome.cs.utwente.nl

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• Object-oriented programming languages
• Functional languages
• Scala
• Java